9

dir
261
https://tucson.svn.sourceforge.net/svnroot/tucson/branches/Semantic%201.9.1/src/alice/tuprolog
https://tucson.svn.sourceforge.net/svnroot/tucson



2010-02-06T21:41:52.590148Z
260
mcasadei


svn:special svn:externals svn:needs-lock











0c695609-18fe-43d2-a370-3f9aa3498fa4

AbstractSubGoalTree.java
file




2010-02-06T21:56:59.000000Z
623195caffc8ddb8a9bdd7784099980a
2010-02-06T21:41:52.590148Z
260
mcasadei





















147

Agent.java
file




2010-02-06T21:57:07.000000Z
2073721043aaa2157c83743bdbd9e4ab
2010-02-06T21:41:52.590148Z
260
mcasadei





















4112

BuiltIn.java
file




2010-02-06T21:57:07.000000Z
cbed67b6a7f8e024620cc7f91ec8b870
2010-02-06T21:41:52.590148Z
260
mcasadei





















11544

ChoicePointContext.java
file




2010-02-06T21:57:07.000000Z
e9f6375494536ca9ac0724e45fb08dd2
2010-02-06T21:41:52.590148Z
260
mcasadei





















1782

ChoicePointStore.java
file




2010-02-06T21:57:07.000000Z
3e28dd66d5baa652ec719298931486e2
2010-02-06T21:41:52.590148Z
260
mcasadei





















2024

ClauseDatabase.java
file




2010-02-06T21:56:59.000000Z
46d375546f65b4718ab99444dfe993f5
2010-02-06T21:41:52.590148Z
260
mcasadei





















2635

ClauseInfo.java
file




2010-02-06T21:57:06.000000Z
85ecb3a8e03aa9bb46ea962c936abf4a
2010-02-06T21:41:52.590148Z
260
mcasadei





















6450

ClauseStore.java
file




2010-02-06T21:57:07.000000Z
e5d5a58d044331dc72ed21d242c9892a
2010-02-06T21:41:52.590148Z
260
mcasadei





















3687

DefaultOperatorManager.java
file




2010-02-06T21:57:06.000000Z
83539992766c3b74110f1b79ddd4552d
2010-02-06T21:41:52.590148Z
260
mcasadei





















2300

DefaultSubGoalId.java
file




2010-02-06T21:57:07.000000Z
4f69311bebaca0b50b53b9459dd4050d
2010-02-06T21:41:52.590148Z
260
mcasadei





















609

Double.java
file




2010-02-06T21:57:07.000000Z
a7de6c3fb51a98e6831fbb62e5889ba5
2010-02-06T21:41:52.590148Z
260
mcasadei





















4451

Engine.java
file




2010-02-06T21:57:06.000000Z
5595c38a94f69ea4a2621aa866592ac7
2010-02-06T21:41:52.590148Z
260
mcasadei





















2998

EngineManager.java
file




2010-02-06T21:57:06.000000Z
b2d2a01c20ed3a2dc1bf18c295e0692b
2010-02-06T21:41:52.590148Z
260
mcasadei





















5155

ExecutionContext.java
file




2010-02-06T21:57:07.000000Z
dc8a49d408cbaa31b35ccd663791aed2
2010-02-06T21:41:52.590148Z
260
mcasadei





















3075

Flag.java
file




2010-02-06T21:57:07.000000Z
1d8982fa614ffd2d0df2bd731476462d
2010-02-06T21:41:52.590148Z
260
mcasadei





















3545

FlagManager.java
file




2010-02-06T21:57:06.000000Z
9f0bbada078ab5f52a0cc692e7858f23
2010-02-06T21:41:52.590148Z
260
mcasadei





















2316

Float.java
file




2010-02-06T21:57:06.000000Z
685a03f7dd8f96493f40504ffff3c1a3
2010-02-06T21:41:52.590148Z
260
mcasadei





















4384

HaltException.java
file




2010-02-06T21:57:07.000000Z
214fd2012de3dd141581448db1267954
2010-02-06T21:41:52.590148Z
260
mcasadei





















1243

IPrimitives.java
file




2010-02-06T21:57:06.000000Z
c3b8771c20468d127dd05866199023a3
2010-02-06T21:41:52.590148Z
260
mcasadei





















1077

Int.java
file




2010-02-06T21:57:06.000000Z
6c6ae5fcebf41633fab4b42bdd9232c1
2010-02-06T21:41:52.590148Z
260
mcasadei





















4382

InvalidLibraryException.java
file




2010-02-06T21:57:07.000000Z
256d8630f6b5429a32b172ea2508166c
2010-02-06T21:41:52.590148Z
260
mcasadei





















1627

InvalidTermException.java
file




2010-02-06T21:57:07.000000Z
84b26f6c0a558d50e18f4eccd04c1bbc
2010-02-06T21:41:52.590148Z
260
mcasadei





















1161

InvalidTheoryException.java
file




2010-02-06T21:56:59.000000Z
cfd17db712bb6e3482f8c8a4206e8f7c
2010-02-06T21:41:52.590148Z
260
mcasadei





















1300

InvalidVarNameException.java
file




2010-02-06T21:57:07.000000Z
7b264444b58a93d613934da2fc3a3803
2010-02-06T21:41:52.590148Z
260
mcasadei





















1160

Library.java
file




2010-02-06T21:57:06.000000Z
39bb2415301b89b054973b4b2da9e160
2010-02-06T21:41:52.590148Z
260
mcasadei





















7562

LibraryManager.java
file




2010-02-06T21:56:59.000000Z
ba1d45e57e8a7cb05d5f9ac088d93ac2
2010-02-06T21:41:52.590148Z
260
mcasadei





















5505

Long.java
file




2010-02-06T21:57:06.000000Z
e62bd896eb2c2762a4021d50d7b86821
2010-02-06T21:41:52.590148Z
260
mcasadei





















4406

MalformedGoalException.java
file




2010-02-06T21:57:07.000000Z
2dc0a854c00b8f10ffa0758e20b5d40f
2010-02-06T21:41:52.590148Z
260
mcasadei





















1014

NoMoreSolutionException.java
file




2010-02-06T21:57:07.000000Z
ca346c51b9df813747e83f7810bc3659
2010-02-06T21:41:52.590148Z
260
mcasadei





















1059

NoSolutionException.java
file




2010-02-06T21:57:07.000000Z
18542c2879dee868d995144dcdd5aa16
2010-02-06T21:41:52.590148Z
260
mcasadei





















1027

Number.java
file




2010-02-06T21:57:06.000000Z
ac3d1857d0fe9200f81571c4f53e00ab
2010-02-06T21:41:52.590148Z
260
mcasadei





















4700

Operator.java
file




2010-02-06T21:57:06.000000Z
fd962b979341d2e6ea5fa499a1c180ff
2010-02-06T21:41:52.590148Z
260
mcasadei





















1313

OperatorManager.java
file




2010-02-06T21:57:06.000000Z
6b29b67bd9e12dc9e66a0d6cf2816301
2010-02-06T21:41:52.590148Z
260
mcasadei





















3608

Parser.java
file




2010-02-06T21:57:07.000000Z
06a6cf7e3a497e2785e052148e36b4af
2010-02-06T21:41:52.590148Z
260
mcasadei





















18333

PrimitiveInfo.java
file




2010-02-06T21:57:07.000000Z
3366dea6d6c611f3037861d58a1c4fab
2010-02-06T21:41:52.590148Z
260
mcasadei





















3719

PrimitiveManager.java
file




2010-02-06T21:57:06.000000Z
275b0ca3f5bfb42d6bc7b0cb9b2b1fa1
2010-02-06T21:41:52.590148Z
260
mcasadei





















5329

Prolog.java
file




2010-02-06T21:57:06.000000Z
1149f2123b84e966c651032a3ac09afd
2010-02-06T21:41:52.590148Z
260
mcasadei





















20971

PrologException.java
file




2010-02-06T21:57:06.000000Z
d030352b40cead2064613e36b7b9c1e6
2010-02-06T21:41:52.590148Z
260
mcasadei





















1107

SolveInfo.java
file




2010-02-06T21:56:59.000000Z
c446172306f654ffc515c9c7b9d4377d
2010-02-06T21:41:52.590148Z
260
mcasadei





















5056

State.java
file




2010-02-06T21:57:07.000000Z
622149c6c2e201f58dfe73b6d46b2fb7
2010-02-06T21:41:52.590148Z
260
mcasadei





















1082

StateBacktrack.java
file




2010-02-06T21:57:07.000000Z
46264b9a1966be804f87c5b159b4b261
2010-02-06T21:41:52.590148Z
260
mcasadei





















2926

StateEnd.java
file




2010-02-06T21:56:59.000000Z
d25c740a858f4cf7f3630846e013fb66
2010-02-06T21:41:52.590148Z
260
mcasadei





















1718

StateGoalEvaluation.java
file




2010-02-06T21:57:07.000000Z
55c7f58e757053a9adcce2b4c647f6fb
2010-02-06T21:41:52.590148Z
260
mcasadei





















1699

StateGoalSelection.java
file




2010-02-06T21:57:06.000000Z
9240b0895bbd80de7a29312c93e82732
2010-02-06T21:41:52.590148Z
260
mcasadei





















2282

StateInit.java
file




2010-02-06T21:56:59.000000Z
3a54d924ce2a15c9c2456cf18d797f06
2010-02-06T21:41:52.590148Z
260
mcasadei





















1559

StateRuleSelection.java
file




2010-02-06T21:57:07.000000Z
9fbde0dc04add6a45486a54648fae4aa
2010-02-06T21:41:52.590148Z
260
mcasadei





















5047

Struct.java
file




2010-02-06T21:57:07.000000Z
7ee4be61c41ab399541fd4d64669fd18
2010-02-06T21:41:52.590148Z
260
mcasadei





















20683

StructIterator.java
file




2010-02-06T21:57:07.000000Z
1be458f9cbe31964731abefea18ad890
2010-02-06T21:41:52.590148Z
260
mcasadei





















1661

SubGoalElement.java
file




2010-02-06T21:56:59.000000Z
0e3e3128903556e7323be9dfdd4b0e2f
2010-02-06T21:41:52.590148Z
260
mcasadei





















350

SubGoalId.java
file




2010-02-06T21:57:07.000000Z
d3df566c0510a6b68ebc8f125af6fc91
2010-02-06T21:41:52.590148Z
260
mcasadei





















166

SubGoalStore.java
file




2010-02-06T21:56:59.000000Z
87d07f377a370e4f8e11b9262620f132
2010-02-06T21:41:52.590148Z
260
mcasadei





















1917

SubGoalTree.java
file




2010-02-06T21:57:07.000000Z
e316d245271c12123149e3935ca88b33
2010-02-06T21:41:52.590148Z
260
mcasadei





















988

Term.java
file




2010-02-06T21:57:07.000000Z
f3d2b650b43ff60c45c391b5d4036911
2010-02-06T21:41:52.590148Z
260
mcasadei





















8923

TermIterator.java
file




2010-02-06T21:57:07.000000Z
d2ec0b1fd2ab2ec6e5d4abc85c111193
2010-02-06T21:41:52.590148Z
260
mcasadei





















2453

Theory.java
file




2010-02-06T21:56:59.000000Z
6b4bec0e331419a10c530f1b954ceffb
2010-02-06T21:41:52.590148Z
260
mcasadei





















3768

TheoryManager.java
file




2010-02-06T21:57:06.000000Z
dd6e773f3156d0a46b8e9557c487a7b4
2010-02-06T21:41:52.590148Z
260
mcasadei





















10703

Token.java
file




2010-02-06T21:57:07.000000Z
1216b674a74942b42911fabedece5317
2010-02-06T21:41:52.590148Z
260
mcasadei





















1922

Tokenizer.java
file




2010-02-06T21:57:07.000000Z
04e0e44b2a73115c63904535146a7f9d
2010-02-06T21:41:52.590148Z
260
mcasadei





















19446

TupleCentreIdOperatorManager.java
file




2010-02-06T21:57:06.000000Z
ec2736e163b4139b0cc2045d98ace705
2010-02-06T21:41:52.590148Z
260
mcasadei
has-props




















1189

UnknownVarException.java
file




2010-02-06T21:57:07.000000Z
7e0ec6df3528374a5ab2619e41a3b502
2010-02-06T21:41:52.590148Z
260
mcasadei





















1011

Var.java
file




2010-02-06T21:57:07.000000Z
010833da7ee464c063e794598eec8b16
2010-02-06T21:41:52.590148Z
260
mcasadei





















11517

event
dir

lib
dir

